81. VLSI specification, verification, and synthesis
پدیدآورنده : edited by Graham Birtwistle and P.A. Subrahmanyam
موضوع : Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
82. Verification by error modeling
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer
83. Verification methodology manual for SystemVerilog
پدیدآورنده : / by Janick Bergeron ... [et al.]
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
84. Verification methodology manual for System Verilog
پدیدآورنده : by Janick Bergeron...[et al.]&
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Verilog (Computer hardware description language),Integrated circuits -- Verification
رده :
TK
،
7885
.
7
،.
V44
،
2006
85. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : Yoeli, Michael
کتابخانه: (سمنان)
موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
86. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : / by Michael Yoeli and Rakefet Kol
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
87. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
88. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro, 6591-
کتابخانه: (طهران)
موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
89. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
E-BOOK
90. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
TK7885
.
7
.
B48
2006